Engineering Object-Oriented Semantics Using Graph Transformations

In this paper we describe the application of the theory of graph transformations to the practise of language design. We have defined the semantics of a small but realistic object-oriented language (called TAAL) by mapping the language constructs to graphs and their operational semantics to graph transformation rules. In the process we establish a mapping between UML models and graphs. TAAL was developed for the purpose of this paper, as an extensive case study in engineering object-oriented language semantics using graph transformation. It incorporates the basic aspects of many commonly used object-oriented programming languages: apart from essential imperative programming constructs, it includes inheritance, object creation and method overriding. The language specification is based on a number of meta-models written in UML. Both the static and dynamic semantics are defined using graph rewriting rules. In the course of the case study, we have built an Eclipse plug-in that automatically transforms arbitrary TAAL programs into graphs, in a graph format readable by another tool. This second tool is called Groove, and it is able to execute graph transformations. By combining both tools we are able to visually simulate the execution of any TAAL program

Super coset space geometry

Super coset spaces play an important role in the formulation of supersymmetric theories. The aim of this paper is to review and discuss the geometry of super coset spaces with particular focus on the way the geometrical structures of the super coset space G/H are inherited from the super Lie group G. The isometries of the super coset space are discussed and a definition of Killing supervectors - the supervectors associated with infinitesimal isometries - is given that can be easily extended to spaces other than coset spaces.Comment: 49 pages, 1 figure, AFK previously published under the name A. F. Schunc

Real rank boundaries and loci of forms

In this article we study forbidden loci and typical ranks of forms with respect to the embeddings of $\mathbb P^1\times \mathbb P^1$ given by the line bundles $(2,2d)$. We introduce the Ranestad-Schreyer locus corresponding to supports of non-reduced apolar schemes. We show that, in those cases, this is contained in the forbidden locus. Furthermore, for these embeddings, we give a component of the real rank boundary, the hypersurface dividing the minimal typical rank from higher ones. These results generalize to a class of embeddings of $\mathbb P^n\times \mathbb P^1$. Finally, in connection with real rank boundaries, we give a new interpretation of the $2\times n \times n$ hyperdeterminant.Comment: 17 p

MATURE: A Model Driven bAsed Tool to Automatically Generate a langUage That suppoRts CMMI Process Areas spEcification

Many companies have achieved a higher quality in their processes by using CMMI. Process definition may be efficiently supported by software tools. A higher automation level will make process improvement and assessment activities easier to be adapted to customer needs. At present, automation of CMMI is based on tools that support practice definition in a textual way. These tools are often enhanced spreadsheets. In this paper, following the Model Driven Development paradigm (MDD), a tool that supports automatic generation of a language that can be used to specify process areas practices is presented. The generation is performed from a metamodel that represents CMMI. This tool, differently from others available, can be customized according to user needs. Guidelines to specify the CMMI metamodel are also provided. The paper also shows how this approach can support other assessment method

Reconstructing the two right-handed neutrino model

In this paper we propose a low-energy parametrization of the two right-handed neutrino model, and discuss the prospects to determine experimentally these parameters in supersymmetric scenarios. In addition, we present exact formulas to reconstruct the high-energy leptonic superpotential in terms of the low-energy observables. We also discuss limits of the three right-handed neutrino model where this procedure applies.Comment: 28 pages, 4 figures. Typos corrected, references adde